Heyting algebras

[网络] Heyting代数

热门查询

blow　　n. 吹；打击；殴打 vt. 风吹 vi. 风吹；喘气 n. (Blow)人名；(英)布洛
integral　　n. 积分；部分；完整 adj. 积分的；完整的，整体的；构成整体所必须的
delightful　　adj. 可爱的，可喜的；讨人喜欢的；令人愉快的
hint　　n. 暗示；线索 vt. 暗示；示意 vi. 示意 n. (Hint)人名；(英)欣特；(法)安特
tautological　　adj. 赘述的；同义反复的；类语叠用的
Kleenex　　n. 克里奈克斯纸巾（商标名）；一张面巾纸
telescoping　　n. 叠生成矿酌；套管式；可伸缩式 adj. 可伸缩的 v. 使叠进；缩短（telescope的ing形式）
bedpan　　n. 便盆；睡床用脚炉
fluctuation　　n. 起伏，波动
concluding　　adj. 结束的；最后的
steal　　n. 偷窃；便宜货；偷垒；断球 vt. 剽窃；偷偷地做；偷窃 vi. 窃取；偷偷地行动；偷垒
genistein　　n. 染料木黄酮，染料木素
borrow　　vt. 借；借用 vi. 借；借用；从其他语言中引入 n. (Borrow)人名；(英)博罗
provided　　conj. 假如；倘若 v. 提供；给予（provide的过去式）
hoop　　n. 箍；铁环；呼呼声 vt. 加箍于；包围 vi. 发呼呼声
Helens　　n. = Helen of Troy
stiffen　　vt. 使变硬；使粘稠 vi. 变硬；变猛烈；变粘
UDR　　abbr. 北爱尔兰防卫团（Ulster Defence Regiment）；通用文件阅读器（ Universal Document Reader）；用户数据记录（User Data Record）
legerdemain　　n. 戏法，骗术；巧妙的花招
eastender　　n. East End的变形